On Matrices, Automata, and Double Counting

Matrix models are ubiquitous for constraint problems. Many such problems have a matrix of variables M, with the same constraint defined by a finite-state automaton A on each row of M and a global cardinality constraint gcc on each column of M. We give two methods for deriving, by double counting, necessary conditions on the cardinality variables of the gcc constraints from the automaton A. The first method yields linear necessary conditions and simple arithmetic constraints. The second method introduces the cardinality automaton, which abstracts the overall behaviour of all the row automata and can be encoded by a set of linear constraints. We evaluate the impact of our methods on a large set of nurse rostering problem instances

Global Solutions to Maxwell Equations in a Ferromagnetic Medium

We study the Cauchy problem for the Landau-Lifschitz model in ferromagnetism without exchange energy. Once existence of global finite energy solutions is obtained, we study additional uniqueness and regularity properties of these solutions.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/41837/1/23-1-2-307_00010307.pd

Analytic and Gevrey Hypoellipticity for Perturbed Sums of Squares Operators

We prove a couple of results concerning pseudodifferential perturbations of differential operators being sums of squares of vector fields and satisfying H\"ormander's condition. The first is on the minimal Gevrey regularity: if a sum of squares with analytic coefficients is perturbed with a pseudodifferential operator of order strictly less than its subelliptic index it still has the Gevrey minimal regularity. We also prove a statement concerning real analytic hypoellipticity for the same type of pseudodifferential perturbations, provided the operator satisfies to some extra conditions (see Theorem 1.2 below) that ensure the analytic hypoellipticity

Geometric optics and instability for semi-classical Schrodinger equations

We prove some instability phenomena for semi-classical (linear or) nonlinear Schrodinger equations. For some perturbations of the data, we show that for very small times, we can neglect the Laplacian, and the mechanism is the same as for the corresponding ordinary differential equation. Our approach allows smaller perturbations of the data, where the instability occurs for times such that the problem cannot be reduced to the study of an o.d.e.Comment: 22 pages. Corollary 1.7 adde

Can majority support save an endangered language? A case study of language attitudes in Guernsey

Many studies of minority language revitalisation focus on the attitudes and perceptions of minorities, but not on those of majority group members. This paper discusses the implications of these issues, and presents research into majority andf minority attitudes towards the endangered indigenous vernacular of Guernsey, Channel Islands. The research used a multi-method approach (questionnaire and interview) to obtain attitudinal data from a representative sample of the population that included politicians and civil servants (209 participants). The findings suggested a shift in language ideology away from the post-second world war ‘culture of modernisation’ and monolingual ideal, towards recognition of the value of a bi/trilingual linguistic heritage. Public opinion in Guernsey now seems to support the maintenance of the indigenous language variety, which has led to a degree of official support. The paper then discusses to what extent this ‘attitude shift’ is reflected in linguistic behaviour and in concrete language planning measures

Test diagnostique non invasif de morphométrie automatisée de l'histologie des polypes coliques

Test diagnostique non invasif de morphométrie automatisée de l’histologie des polypes colique

A self-organized model for cell-differentiation based on variations of molecular decay rates

Systemic properties of living cells are the result of molecular dynamics governed by so-called genetic regulatory networks (GRN). These networks capture all possible features of cells and are responsible for the immense levels of adaptation characteristic to living systems. At any point in time only small subsets of these networks are active. Any active subset of the GRN leads to the expression of particular sets of molecules (expression modes). The subsets of active networks change over time, leading to the observed complex dynamics of expression patterns. Understanding of this dynamics becomes increasingly important in systems biology and medicine. While the importance of transcription rates and catalytic interactions has been widely recognized in modeling genetic regulatory systems, the understanding of the role of degradation of biochemical agents (mRNA, protein) in regulatory dynamics remains limited. Recent experimental data suggests that there exists a functional relation between mRNA and protein decay rates and expression modes. In this paper we propose a model for the dynamics of successions of sequences of active subnetworks of the GRN. The model is able to reproduce key characteristics of molecular dynamics, including homeostasis, multi-stability, periodic dynamics, alternating activity, differentiability, and self-organized critical dynamics. Moreover the model allows to naturally understand the mechanism behind the relation between decay rates and expression modes. The model explains recent experimental observations that decay-rates (or turnovers) vary between differentiated tissue-classes at a general systemic level and highlights the role of intracellular decay rate control mechanisms in cell differentiation.Comment: 16 pages, 5 figure

Cytosine-to-Uracil Deamination by SssI DNA Methyltransferase

The prokaryotic DNA(cytosine-5)methyltransferase M.SssI shares the specificity of eukaryotic DNA methyltransferases (CG) and is an important model and experimental tool in the study of eukaryotic DNA methylation. Previously, M.SssI was shown to be able to catalyze deamination of the target cytosine to uracil if the methyl donor S-adenosyl-methionine (SAM) was missing from the reaction. To test whether this side-activity of the enzyme can be used to distinguish between unmethylated and C5-methylated cytosines in CG dinucleotides, we re-investigated, using a sensitive genetic reversion assay, the cytosine deaminase activity of M.SssI. Confirming previous results we showed that M.SssI can deaminate cytosine to uracil in a slow reaction in the absence of SAM and that the rate of this reaction can be increased by the SAM analogue 5’-amino-5’-deoxyadenosine. We could not detect M.SssI-catalyzed deamination of C5-methylcytosine (m5C). We found conditions where the rate of M.SssI mediated C-to-U deamination was at least 100-fold higher than the rate of m5C-to-T conversion. Although this difference in reactivities suggests that the enzyme could be used to identify C5-methylated cytosines in the epigenetically important CG dinucleotides, the rate of M.SssI mediated cytosine deamination is too low to become an enzymatic alternative to the bisulfite reaction. Amino acid replacements in the presumed SAM binding pocket of M.SssI (F17S and G19D) resulted in greatly reduced methyltransferase activity. The G19D variant showed cytosine deaminase activity in E. coli, at physiological SAM concentrations. Interestingly, the C-to-U deaminase activity was also detectable in an E. coli ung+ host proficient in uracil excision repair

Multidimensional Conservation Laws: Overview, Problems, and Perspective

Some of recent important developments are overviewed, several longstanding open problems are discussed, and a perspective is presented for the mathematical theory of multidimensional conservation laws. Some basic features and phenomena of multidimensional hyperbolic conservation laws are revealed, and some samples of multidimensional systems/models and related important problems are presented and analyzed with emphasis on the prototypes that have been solved or may be expected to be solved rigorously at least for some cases. In particular, multidimensional steady supersonic problems and transonic problems, shock reflection-diffraction problems, and related effective nonlinear approaches are analyzed. A theory of divergence-measure vector fields and related analytical frameworks for the analysis of entropy solutions are discussed.Comment: 43 pages, 3 figure